Limit spaces and transfinite types
نویسندگان
چکیده
We give a characterisation of an extension of the Kleene-Kreisel continuous functionals to objects of transfinite types using limit spaces of transfinite types.
منابع مشابه
Universal spaces in the theory of transfinite dimension, II
We construct a family of spaces with “nice” structure which is universal in the class of all compact metrizable spaces of large transfinite dimension ω0, or, equivalently, of small transfinite dimension ω0; that is, the family consists of compact metrizable spaces whose transfinite dimension is ω0, and every compact metrizable space with transfinite dimension ω0 is embeddable in a space of the ...
متن کاملA factorization theorem for the transfinite kernel dimension of metrizable spaces
We prove a factorization theorem for transfinite kernel dimension in the class of metrizable spaces. Our result in conjunction with Pasynkov’s technique implies the existence of a universal element in the class of metrizable spaces of given weight and transfinite kernel dimension, a result known from the work of Luxemburg and Olszewski.
متن کاملOn Linear Spaces Which May Be Rendered Complete Normed Metric Spaces
In this paper, we obtain a characterization of linear spaces which may be normed so as to become complete, linear, normed metric spaces. In this connection, K. Kunugui and M. Fréchet have shown that every metric space S is isometric with a subset of a complete, linear, normed metric space. I t follows from our result that if the cardinal number of 5 is the limit of a denumerable sequence of car...
متن کاملAbstracts of the invited speakers
s of the invited speakers Dag Normann, University of Oslo, Norway Revisiting Transfinite Types In this talk I will reconstruct spaces of countable and uncountable transfinite types, this time using limit spaces. This approach turns out to give a better access to internal concepts of computability for such spaces. The talk will be a report on ongoing research. This research is rooted in earlier ...
متن کاملMachine Spaces: Axioms and Metrics
An axiom system for machine spaces is introduced. Time is modeled as a totally ordered monoid, thus allowing discrete, continuous, and transfinite time structures. A generalized metric on these machine spaces is defined, having values in a directedly ordered monoid. This enables the notion of ε-balls in machine space, which, for example, can be used to explore model risk and robustness in stati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Arch. Math. Log.
دوره 41 شماره
صفحات -
تاریخ انتشار 2002